An enhanced model for Rosenkranz’s logic of justification

Abstract Rosenkranz (2021) devised two bimodal epistemic logics: an idealized one and a realistic one. The former is shown to be sound with respect class of neighborhood frames called i-frames . designed specific i-frame able invalidate series undesired formulas, proving that these are not theorems the logic. Nonetheless, unwanted formula rule inference invalidated. Invalidating guarantees distinction between modal operators characteristic logic, while invalidating latter crucial in order deal problem logical omniscience. In this paper, I present all formulas already invalidated by Rosenkranz, together missing inference.